Bertacco, Valeria: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2011 International Symposium on VLSI Design, Automation and Test (VLSI-DAT) - Hsinchu, Taiwan (2011.04.25-2011.04.28)] Proceedings of 2011 International Symposium on VLSI Design, Automation and Test - High performance gate-level simulation with GP-GPU computing

Bertacco, Valeria, Chatterjee, Debapriya

Year:

2011

Language:

english

File:

PDF, 1.06 MB

english, 2011

2

[ACM Press the 46th Annual Design Automation Conference - San Francisco, California (2009.07.26-2009.07.31)] Proceedings of the 46th Annual Design Automation Conference on ZZZ - DAC '09 - Event-driven gate-level simulation with GP-GPUs

Chatterjee, Debapriya, DeOrio, Andrew, Bertacco, Valeria

Year:

2009

Language:

english

File:

PDF, 160 KB

english, 2009

3

[IEEE 2009 IEEE 15th International Symposium on High Performance Computer Architecture (HPCA) - Raleigh, NC, USA (2009.02.14-2009.02.18)] 2009 IEEE 15th International Symposium on High Performance Computer Architecture - Dacota: Post-silicon validation of the memory subsystem in multi-core designs

DeOrio, Andrew, Wagner, Ilya, Bertacco, Valeria

Year:

2009

Language:

english

File:

PDF, 419 KB

english, 2009

4

[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - Veri cation Through the Principle of Least Astonishment

Isaksen, Beth, Bertacco, Valeria

Year:

2006

Language:

english

File:

PDF, 10.37 MB

english, 2006

5

[IEEE 2018 IEEE International Symposium on Workload Characterization (IISWC) - Raleigh, NC, USA (2018.9.30-2018.10.2)] 2018 IEEE International Symposium on Workload Characterization (IISWC) - Heterogeneous Memory Subsystem for Natural Graph Analytics

Addisie, Abraham, Kassa, Hiwot, Matthews, Opeoluwa, Bertacco, Valeria

Year:

2018

Language:

english

File:

PDF, 753 KB

english, 2018

6

Ultra low-cost defect protection for microprocessor pipelines

Shyam, Smitha, Constantinides, Kypros, Phadke, Sujay, Bertacco, Valeria, Austin, Todd

Journal:

ACM SIGOPS Operating Systems Review

Year:

2006

Language:

english

File:

PDF, 356 KB

english, 2006

7

[IEEE 2008 IEEE International Conference on Computer Design (ICCD) - Lake Tahoe, CA, USA (2008.10.12-2008.10.15)] 2008 IEEE International Conference on Computer Design - CrashTest: A fast high-fidelity FPGA-based resiliency analysis framework

Pellegrini, Andrea, Constantinides, Kypros, Dan Zhang,, Sudhakar, Shobana, Bertacco, Valeria, Austin, Todd

Year:

2008

Language:

english

File:

PDF, 475 KB

english, 2008

8

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - SiPterposer: A Fault-Tolerant Substrate for Flexible System-in-Package Design

Ehrett, Pete, Austin, Todd, Bertacco, Valeria

Year:

2019

Language:

english

File:

PDF, 748 KB

english, 2019

9

Collaborative Accelerators for Streamlining MapReduce on Scale-up Machines With Incremental Data Aggregation

Addisie, Abraham, Bertacco, Valeria

Journal:

IEEE Transactions on Computers

Year:

2020

File:

PDF, 2.79 MB

2020

10

[ACM Press the 24th Asia and South Pacific Design Automation Conference - Tokyo, Japan (2019.01.21-2019.01.24)] Proceedings of the 24th Asia and South Pacific Design Automation Conference on - ASPDAC '19 - Collaborative accelerators for in-memory MapReduce on scale-up machines

Addisie, Abraham, Bertacco, Valeria

Year:

2019

File:

PDF, 773 KB

2019

11

Post-silicon platform for the functional diagnosis and debug of networks-on-chip

Abdel-Khalek, Rawan, Bertacco, Valeria

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 5.11 MB

english, 2014

12

[IEEE 2012 IEEE 30th VLSI Test Symposium (VTS) - Maui, HI, USA (2012.04.23-2012.04.25)] 2012 IEEE 30th VLSI Test Symposium (VTS) - Comprehensive online defect diagnosis in on-chip networks

Ghofrani, Amirali, Parikh, Ritesh, Shamshiri, Saeed, DeOrio, Andrew, Cheng, Kwang-Ting, Bertacco, Valeria

Year:

2012

Language:

english

File:

PDF, 899 KB

english, 2012

13

[IEEE 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2014.11.2-2014.11.6)] 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - High-radix on-chip networks with low-radix routers

Jain, Animesh, Parikh, Ritesh, Bertacco, Valeria

Year:

2014

Language:

english

File:

PDF, 875 KB

english, 2014

14

[ACM Press the International Conference - San Jose, California (2012.11.05-2012.11.08)] Proceedings of the International Conference on Computer-Aided Design - ICCAD '12 - Functional post-silicon diagnosis and debug for networks-on-chip

Abdel-Khalek, Rawan, Bertacco, Valeria

Year:

2012

Language:

english

File:

PDF, 1.04 MB

english, 2012

15

[IEEE 8th International Symposium on Quality Electronic Design (ISQED'07) - San Jose, CA, USA (2007.03.26-2007.03.28)] 8th International Symposium on Quality Electronic Design (ISQED'07) - InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization

Chang, Kai-hui, Papa, David A., Markov, Igor L., Bertacco, Valeria

Year:

2007

Language:

english

File:

PDF, 414 KB

english, 2007

16

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - DRAIN

DeOrio, Andrew, Aisopos, Kostantinos, Bertacco, Valeria, Peh, Li-Shiuan

Year:

2011

Language:

english

File:

PDF, 748 KB

english, 2011

17

[ACM Press the 44th Annual International Symposium - Toronto, ON, Canada (2017.06.24-2017.06.28)] Proceedings of the 44th Annual International Symposium on Computer Architecture - ISCA '17 - MTraceCheck

Lee, Doowon, Bertacco, Valeria

Year:

2017

Language:

english

File:

PDF, 1.31 MB

english, 2017

18

[IEEE 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2010.11.7-2010.11.11)] 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Application-Aware diagnosis of runtime hardware faults

Pellegrini, Andrea, Bertacco, Valeria

Year:

2010

Language:

english

File:

PDF, 783 KB

english, 2010

19

Post-Silicon and Runtime Verification for Modern Processors ||

Wagner, Ilya, Bertacco, Valeria

Year:

2011

Language:

english

File:

PDF, 2.99 MB

english, 2011

20

[ACM Press the 19th annual symposium - Ouro Preto, MG, Brazil (2006.08.28-2006.09.01)] Proceedings of the 19th annual symposium on Integrated circuits and systems design - SBCCI '06 - Low maintenance verification

Bertacco, Valeria

Year:

2006

Language:

english

File:

PDF, 130 KB

english, 2006

21

Ultra low-cost defect protection for microprocessor pipelines

Shyam, Smitha, Constantinides, Kypros, Phadke, Sujay, Bertacco, Valeria, Austin, Todd

Journal:

ACM SIGARCH Computer Architecture News

Year:

2006

Language:

english

File:

PDF, 356 KB

english, 2006

22

[IEEE 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) - Chiba, Japan (2017.1.16-2017.1.19)] 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) - AGARSoC: Automated test and coverage-model generation for verification of accelerator-rich SoCs

Mammo, Biruk, Lee, Doowon, Davis, Harrison, Hou, Yijun, Bertacco, Valeria

Year:

2017

Language:

english

File:

PDF, 203 KB

english, 2017

23

[ACM Press the Twelfth IEEE/ACM/IFIP International Conference - Seoul, Republic of Korea (2017.10.15-2017.10.20)] Proceedings of the Twelfth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Companion - CODES '17 - DOVE

Danese, Alessandro, Pravadelli, Graziano, Bertacco, Valeria

Year:

2017

Language:

english

File:

PDF, 102 KB

english, 2017

24

[IEEE 2017 IEEE AFRICON - Cape Town (2017.9.18-2017.9.20)] 2017 IEEE AFRICON - Energy efficient object detection on the mobile GP-GPU

Andargie, Fitsum Assamnew, Rose, Jonathan, Austin, Todd, Bertacco, Valeria

Year:

2017

Language:

english

File:

PDF, 207 KB

english, 2017

25

SafeResynth: A new technique for physical synthesis

Kai-hui Chang, Igor L. Markov, Valeria Bertacco

Journal:

Integration, the VLSI Journal

Year:

2008

Language:

english

File:

PDF, 820 KB

english, 2008

26

[ACM Press the International Conference - San Jose, California (2012.11.05-2012.11.08)] Proceedings of the International Conference on Computer-Aided Design - ICCAD '12 - Bridging pre- and post-silicon debugging with BiPeD

DeOrio, Andrew, Li, Jialin, Bertacco, Valeria

Year:

2012

Language:

english

File:

PDF, 1.11 MB

english, 2012

27

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - SAGA

Vinco, Sara, Chatterjee, Debapriya, Bertacco, Valeria, Fummi, Franco

Year:

2012

Language:

english

File:

PDF, 836 KB

english, 2012

28

[IEEE 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII) - Agios konstantinos, Samos Island, Greece (2013.07.15-2013.07.18)] 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Cobra: A comprehensive bundle-based reliable architecture

Pellegrini, Andrea, Bertacco, Valeria

Year:

2013

Language:

english

File:

PDF, 990 KB

english, 2013

29

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Brisk and limited-impact NoC routing reconfiguration

Lee, Doowon, Parikh, Ritesh, Bertacco, Valeria

Year:

2014

Language:

english

File:

PDF, 434 KB

english, 2014

30

ForEVeR

Parikh, Ritesh, Bertacco, Valeria

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 5.22 MB

english, 2014

31

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Random stimulus generation using entropy and XOR constraints

Plaza, Stephen M., Markov, Igor L., Bertacco, Valeria

Year:

2008

Language:

english

File:

PDF, 1.87 MB

english, 2008

32

[ACM Press the eighth IEEE/ACM/IFIP international conference - Tampere, Finland (2012.10.07-2012.10.12)] Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '12 - SystemC simulation on GP-GPUs

Bombieri, Nicola, Vinco, Sara, Bertacco, Valeria, Chatterjee, Debapriya

Year:

2012

Language:

english

File:

PDF, 595 KB

english, 2012

33

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Checking architectural outputs instruction-by-instruction on acceleration platforms

Chatterjee, Debapriya, Koyfman, Anatoly, Morad, Ronny, Ziv, Avi, Bertacco, Valeria

Year:

2012

Language:

english

File:

PDF, 905 KB

english, 2012

34

[ACM Press the Fifth ACM/IEEE International Symposium - Pittsburgh, Pennsylvania (2011.05.01-2011.05.04)] Proceedings of the Fifth ACM/IEEE International Symposium on Networks-on-Chip - NOCS '11 - A distributed and topology-agnostic approach for on-line NoC testing

Kakoee, Mohammad Reza, Bertacco, Valeria, Benini, Luca

Year:

2011

Language:

english

File:

PDF, 684 KB

english, 2011

35

Viper

Pellegrini, Andrea, Greathouse, Joseph L., Bertacco, Valeria

Journal:

ACM SIGARCH Computer Architecture News

Year:

2012

Language:

english

File:

PDF, 513 KB

english, 2012

36

[IEEE 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Dresden, Germany (2018.3.19-2018.3.23)] 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Symbolic assertion mining for security validation

Danese, Alessandro, Bertacco, Valeria, Pravadelli, Graziano

Year:

2018

File:

PDF, 326 KB

2018

37

[IEEE 2008 IEEE International Conference on Computer Design (ICCD) - Lake Tahoe, CA, USA (2008.10.12-2008.10.15)] 2008 IEEE International Conference on Computer Design - Post-silicon verification for cache coherence

DeOrio, Andrew, Bauserman, Adam, Bertacco, Valeria

Year:

2008

Language:

english

File:

PDF, 626 KB

english, 2008

38

[IEEE 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Ferrara, Italy (2014.9.17-2014.9.19)] 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - DiAMOND:Distributed alteration of messages for on-chip network debug

Abdel-Khalek, Rawan, Bertacco, Valeria

Year:

2014

Language:

english

File:

PDF, 1.14 MB

english, 2014

39

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - MCjammer

Wagner, Ilya, Bertacco, Valeria

Year:

2008

Language:

english

File:

PDF, 197 KB

english, 2008

40

Gate-Level Simulation with GPU Computing

Chatterjee, Debapriya, Deorio, Andrew, Bertacco, Valeria

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2011

Language:

english

File:

PDF, 666 KB

english, 2011

41

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - ArChiVED: Architectural checking via event digests for high performance validation

Hsu, Chang-Hong, Chatterjee, Debapriya, Morad, Ronny, Ga, Raviv, Bertacco, Valeria

Year:

2014

Language:

english

File:

PDF, 376 KB

english, 2014

42

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 8244 || Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project

Bertacco, Valeria, Legay, Axel

Year:

2013

Language:

english

File:

PDF, 424 KB

english, 2013

43

[ACM Press the 2005 conference - Shanghai, China (2005.01.18-2005.01.21)] Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 - STACCATO

Plaza, Stephen, Bertacco, Valeria

Year:

2005

Language:

english

File:

PDF, 157 KB

english, 2005

44

[IEEE 2015 IEEE 33rd VLSI Test Symposium (VTS) - Napa, CA, USA (2015.4.27-2015.4.29)] 2015 IEEE 33rd VLSI Test Symposium (VTS) - Panel: When will the cost of dependability end innovation in computer design?

Bertacco, Valeria

Year:

2015

Language:

english

File:

PDF, 124 KB

english, 2015

45

[ACM Press the 47th Design Automation Conference - Anaheim, California (2010.06.13-2010.06.18)] Proceedings of the 47th Design Automation Conference on - DAC '10 - Electronic design automation for social networks

DeOrio, Andrew, Bertacco, Valeria

Year:

2010

Language:

english

File:

PDF, 92 KB

english, 2010

46

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - Low-Cost Protection for SER Upsets and Silicon Defects

Mehrara, Mojtaba, Attariyan, Mona, Shyam, Smitha, Constantinides, Kypros, Bertacco, Valeria, Austin, Todd

Year:

2007

Language:

english

File:

PDF, 318 KB

english, 2007

47

[IEEE 2017 IEEE 2nd International Verification and Security Workshop (IVSW) - Thessaloniki, Greece (2017.7.3-2017.7.5)] 2017 IEEE 2nd International Verification and Security Workshop (IVSW) - SNIFFER: A high-accuracy malware detector for enterprise-based systems

Chavis, Evan, Davis, Harrison, Hou, Yijun, Hicks, Matthew, Yitbarek, Salessawi Ferede, Austin, Todd, Bertacco, Valeria

Year:

2017

Language:

english

File:

PDF, 212 KB

english, 2017

48

[IEEE 2011 International Conference on Parallel Architectures and Compilation Techniques (PACT) - Galveston, TX, USA (2011.10.10-2011.10.14)] 2011 International Conference on Parallel Architectures and Compilation Techniques - ARIADNE: Agnostic Reconfiguration in a Disconnected Network Environment

Aisopos, Konstantinos, DeOrio, Andrew, Peh, Li-Shiuan, Bertacco, Valeria

Year:

2011

Language:

english

File:

PDF, 453 KB

english, 2011

49

[IEEE 2010 15th Asia and South Pacific Design Automation Conference ASP-DAC 2010 - Taipei, Taiwan (2010.01.18-2010.01.21)] 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC) - Post-silicon debugging for multi-core designs

Bertacco, Valeria

Year:

2010

Language:

english

File:

PDF, 150 KB

english, 2010

50

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - MCjammer: Adaptive Verification for Multi-core Designs

Wagner, Ilya, Bertacco, Valeria

Year:

2008

Language:

english

File:

PDF, 260 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски